Martin Martin - PDFSEARCH.IO - Document Search Engine

Martin Martin
Results: 36538

#	Item
21	AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-06 05:17:59 Theoretical computer science Logic Mathematical logic Logic in computer science Artificial intelligence Automated reasoning Automated theorem proving Predicate logic Quantifier Andrei Voronkov Z3 Alt-Ergo
22	WorldECR US: ‘toughest ever’ North Korea sanctions 2 WorldECR visits the James Martin Center for Add to Reading List Source URL: www.mme.ch Language: English - Date: 2018-08-13 09:32:09
23	Arkansas Secretary of State Q Mark Martin Traveler Request Form Add to Reading List Source URL: www.sos.arkansas.gov Language: English - Date: 2017-11-15 15:28:49 Email Mail Computing
24	System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal Add to Reading List Source URL: www.logic.at Language: English - Date: 2012-07-25 07:17:52 Mathematical logic Metalogic Logic Proof theory X0 First-order logic Leitsch Sequent calculus
25	Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:58 Applied mathematics Cognition Cybernetics Learning Machine learning Artificial neural network Analysis Algorithm Mathematics
26	A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-04-07 04:56:31
27	Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:24 Logic Automated theorem proving Propositional calculus Mathematical logic Logic programming Mathematics Rules of inference Resolution Clause Literal Unit propagation E theorem prover
28	Cryptanalysis of KeeLoq with COPACOBANA Martin Novotný1,2, Timo Kasper1 Horst Görtz Institute for IT-Security Ruhr University Bochum 1 Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2009-09-22 19:00:54 Cryptography Radio electronics Block ciphers KeeLoq Rolling code Data Encryption Standard ICE
29	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich Add to Reading List Source URL: nethide.ethz.ch Language: English - Date: 2018-07-12 07:50:38 Internet architecture Computing Network architecture Routing Information and communications technology Computer networking Internet protocols Traceroute Hop Network topology Forwarding plane Computer network

UPDATE